141. 16, 2010. Proceedings-Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15
المؤلف: / Claude Gaudel (auth.), Shengchao Qin (eds.)-Ana Cavalcanti, Marie
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
142. 25, 2011. Proceedings-Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23
المؤلف: / David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
143. 24, 2012. Proceedings-Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22
المؤلف: / Ahmed Bouajjani, Cezara Drgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
144. 23, 2010. Proceedings-bec City, Canada, June 21شMathematics of Program Construction: 10th International Conference, MPC 2010, Qu
المؤلف: / chir Ktari (eds.)فo F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, BعRoland Backhouse, Wei Chen, Jo
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
145. 30, 2011. Proceedings-bidos, Portugal, September 28بModel and Data Engineering: First International Conference, MEDI 2011,
المؤلف: / Timos Sellis (auth.), Ladjel Bellatreche, Filipe Mota Pinto (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
146. 18, 2011. Proceedings-n, Chile, November 15Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 16th Iberoamerican Congress, CIARP 2011, Puc
المؤلف: / Woon Kim (eds.)-sar San Martin, SangفRobert P. W. Duin, Elbieta Pkalska (auth.), C
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
147. Program Management in Defense and High Tech Environments
المؤلف: / McCarthy, Charles Christopher
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
148. Programmieren in C
المؤلف: / Robert Klima, Siegfried Selberherr
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
149. Programmierung-Webseiten
المؤلف: / nter PomaskaGی
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
150. Programming Languages: Principles and Paradigms
المؤلف: / Maurizio Gabbrielli, Simone Martini
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
151. Project Management Case Studies and Lessons Learned: Stakeholder, Scope, Knowledge, Schedule, Resource and Team Management
المؤلف: / Atesmen, M. Kemal
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
152. Project Scope Management: A Practical Guide to Requirements for Engineering, Product, Construction, IT and Enterprise Projects
المؤلف: / Jamal Moustafaev
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
153. Python 2.6 Graphics Cookbook
المؤلف: / de Fine, Mike Ohlson
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
154. REST: From Research to Practice
المؤلف: / Erik Wilde, Cesare Pautasso
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
155. Requirements Engineering and Management for Software Development Projects
المؤلف: / Murali Chemuturi
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
156. Return On Process (ROP): Getting Real Performance Results from Process Improvement
المؤلف: / West, Michael
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
157. 7, 2007, Revised Lectures-Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3
المؤلف: / cia Machado, Auri Vincenzi (auth.), Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook (eds.)کPatr
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
158. 11, 2009. Revised Papers-Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6
المؤلف: / o Saraiva (eds.)عmmel, Joost Visser, Joعo M. Fernandes, Ralf LعPaulo Borba (auth.), Jo
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
159. 8, 2009. Revised Papers-Scale Scientific Computing: 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-Large
المؤلف: / J. Adler, T. Manteuffel, S. McCormick, J. Nolting, J. Ruge, L. Tang (auth.), Ivan Lirkov, Svetozar Margenov, Jerzy Waniewski (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
160. 25, 2010, Revised Selected Papers-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-Logic
المؤلف: / a Alpuente (eds.)کOlivier Danvy, Ian Zerny (auth.), Mar
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
